env:
	conda create -n plot-prover python=3.7

activate:
	conda activate plot-prover

deps:
	pip install -r  ./requirements.txt
	
test:
	pytest

demo1:
	python main.py show --file examples/res/abc.plot

demo2:
	echo "" >> examples/res/50c71fa40b8.plot
	echo "" >> examples/res/50c71fa40b9.plot

	python main.py clear --fpk=0xa84c1aa5123ed78d7e61a13ef425204efbe861db3439ef4748dea9749ba3bdee1a295746b6c9d9958f24cbe290abfbff --ppk=0xb5f56ee262ee949f95e49981a582b4036a74b02bfda4607a7ddb820cf4d502c71e3f0a7467592356a298a50c71fa40b8 --dir examples/res

demo3:
	echo "" >> examples/res/50c71fa40b8.plot
	echo "" >> examples/res/50c71fa40b9.plot

	python main.py check --fpk=0xa84c1aa5123ed78d7e61a13ef425204efbe861db3439ef4748dea9749ba3bdee1a295746b6c9d9958f24cbe290abfbff --ppk=0xb5f56ee262ee949f95e49981a582b4036a74b02bfda4607a7ddb820cf4d502c71e3f0a7467592356a298a50c71fa40b8 --dir examples/res